|
|
Applications Based on Generator of Test Cases
Leonteva, Valeriia ; Bardonek, Petr (referee) ; Strnadel, Josef (advisor)
The aim of this bachelor's thesis is to create an overview of the current state of tools that allow automatic generation of test cases and select one tool to show how it works and its ability to generate executable tests. The UPPAAL program was chosen for the following work. Tool allows to create a model of the selected system using timed automata, verify and simulate its operation and create a test case for the system. In the results, the tool generates a path through the system, which can be saved in the form of executable test cases in any programming language. Three different systems were chosen for testing: a light switch system implemented in Java; 2-bit multiplier, which behavior is described by Verilog language; and a simplified elevator system, which working process is introduced in C language. As a result, executable test cases were obtained for selected systems along with their features such as system coverage, number of steps to achieve goals, and quality of generated paths.
|
|
|
Testing of Probes for Network Traffic Monitoring
Sobol, Jan ; Korček, Pavol (referee) ; Kořenek, Jan (advisor)
In order to ensure a secure and stable Internet, administrators need tools for network monitoring which will allow them to analyze ongoing network traffic and respond to situations in a timely manner. One way to monitor traffic is to use monitoring probes. This thesis focuses on a thorough verification of the parameters of existing probes IPFIX probe and FlexProbe. FlexProbe is a network probe designed for the implementation of lawful interceptions developed at FIT BUT in cooperation with the Police of the Czech Republic. The IPFIX probe is developed by the CESNET association and is used for flow monitoring within the FlexProbe probe. In order to be able to operate the probes in the target environment for a long time, it is necessary to thoroughly test the device. The exact behavior of the probe is defined by the specification requirements that are developed for both probes. Based on the requirements, a comprehensive test system covering functional and performance parameters of the probes was designed. The tests are unified using a test framework and included in automated scenarios implemented in system Jenkins. At the end of the thesis, the coverage of the required properties of the probes and their performance is evaluated.
|
|
|
Testing of Probes for Network Traffic Monitoring
Sobol, Jan ; Korček, Pavol (referee) ; Kořenek, Jan (advisor)
In order to ensure a secure and stable Internet, administrators need tools for network monitoring which will allow them to analyze ongoing network traffic and respond to situations in a timely manner. One way to monitor traffic is to use monitoring probes. This thesis focuses on a thorough verification of the parameters of existing probes IPFIX probe and FlexProbe. FlexProbe is a network probe designed for the implementation of lawful interceptions developed at FIT BUT in cooperation with the Police of the Czech Republic. The IPFIX probe is developed by the CESNET association and is used for flow monitoring within the FlexProbe probe. In order to be able to operate the probes in the target environment for a long time, it is necessary to thoroughly test the device. The exact behavior of the probe is defined by the specification requirements that are developed for both probes. Based on the requirements, a comprehensive test system covering functional and performance parameters of the probes was designed. The tests are unified using a test framework and included in automated scenarios implemented in system Jenkins. At the end of the thesis, the coverage of the required properties of the probes and their performance is evaluated.
|
|
|
Applications Based on Generator of Test Cases
Leonteva, Valeriia ; Bardonek, Petr (referee) ; Strnadel, Josef (advisor)
The aim of this bachelor's thesis is to create an overview of the current state of tools that allow automatic generation of test cases and select one tool to show how it works and its ability to generate executable tests. The UPPAAL program was chosen for the following work. Tool allows to create a model of the selected system using timed automata, verify and simulate its operation and create a test case for the system. In the results, the tool generates a path through the system, which can be saved in the form of executable test cases in any programming language. Three different systems were chosen for testing: a light switch system implemented in Java; 2-bit multiplier, which behavior is described by Verilog language; and a simplified elevator system, which working process is introduced in C language. As a result, executable test cases were obtained for selected systems along with their features such as system coverage, number of steps to achieve goals, and quality of generated paths.
|
|
|
Purchase and implementation of the Q-Andoni at Škoda Auto joint-stock company
Kellerová, Karolína Melita ; Zelená, Veronika (advisor) ; Váchová, Lucie (referee)
This Bachelor thesis follows up the description of a shopping process in chosen company Škoda Auto joint-stock company and following proposal to raise effectivity, reduce costs and workers loads and finding a way to save money.The theoretical part follows up interpretation of various concepts from the area of purchasing and lean management.The practical part of the thesis follows up the introduction of Škoda Auto joint-stock company and it is being focused on purchasing department and its process, methods and the system usage habits.For better imagination will be the process described and illustrated on test case which concerns purchasing and implementation of Q-Andon system. The Q-Andon system belongs to the area of downsizing production.At the end, I added a recommendation to improve present process to increase effectivity and save more money.
|
|
|
Testing on Integrated test node project
Janáček, Petr ; Buchalcevová, Alena (advisor) ; Ženíšek, Jan (referee)
This bachelor thesis focuses on testing the Integrated testing node of version 0.9. Integrated testing node (ITN in short) is software that supports the process of software quality assurance. Testing process of ITN is described here step by step. Theoretic part focuses on introduction and description of ITN, it also focuses on bugs in software development and recommended way to report them. Another part compares methods used for writing test plans, then selecting the best solution for ITN and describing the creation of test plan. Practical part describing the process of making the test cases, which are inserted into the ITN and executed. After execution the results are summarized, evaluated and compared with acceptance criteria. Content of this thesis serv to assure the quality of ITN. Testing process description and results evaluation can be used as guide for testing newly released version of ITN, as well as summary of the most important information about ITN or recommendation for precise bug report. Knowledge about test plan can be used in future for similar projects.
|
|
|
Testing of Integrated testing node
Ziegler, Erik ; Buchalcevová, Alena (advisor) ; Ženíšek, Jan (referee)
This bachelor thesis is focused on testing of Integrated testing node (ITN in short) in version 0.9. The main aims are to compare a couple of methodics for writing test cases, then create those test cases and execute functional manual tests with evaluation. In first part of this thesis, there is introduction and description of Integrated testing node and its brief history. In next chapter are introduced methodics for creating and writing test cases, with a demonstration and a short rating. The last part consists of description of the whole proces of making test cases, including modification of template for test cases, and execution of manual tests with evaluation of the results. Outpusts of this thesis should contribute to quality assurance of ITN in this version, but also to serve as a basis for creating of test cases and related documents for another versions of this tool.
|
|
|
Aplication of test analysis methods on mobile application
Švanda, Vojtěch ; Doležel, Michal (advisor) ; Buchalcevová, Alena (referee)
The aim of this thesis is to do test analysis with use of methods based on specification. The methods of test analysis are used on mobile application Duolingo, which is intended for learning and practice of foreign languages, especially English. The thesis is divided into two main parts, the theoretical part and the analytical part. The theoretical part is focused on requirements engineering, test analysis and its methods, and also on mobile testing. At first the analytical part introduces in detail mobile application Duolingo and also its key concepts. Subsequently it focuses on creation of test cases with test analysis methods, which are defined in the theoretical part of this thesis.
|
|
|
Customization of methodology MMSP for automated testing using Selenium WebDriver tool
Skrčený, Vlastimil ; Buchalcevová, Alena (advisor) ; Kučera, Jan (referee)
Diploma thesis deals with creating a Methodology for small software projects focused on automated testing of using Selenium WebDriver tool (abbreviated MMSP - Selenium). The created methodology is based on customized methodology MMSP, which aims to transform part for automated testing of using Selenium WebDriver tool through the best principles and practices of already completed studies. Firstly, there will be summarized the most important terms related to the diploma thesis. Then will follow implementation of the methodology MMSP - Selenium, which is complemented by its new roles, tasks, and work products. Personal benefit of the diploma thesis is also created guidelines for Selenium WebDriver testing tool. For great benefit is also considered the publication of the methodology using the Eclipse Process Framework Composer tool. In conclusion of the created methodology verifies the business use cases, aimed at testing the functionality of web application Manuscriptorium.
|
|
| |
guest ::
